The enriched effect calculus: syntax and semantics
نویسندگان
چکیده
منابع مشابه
The enriched effect calculus: syntax and semantics
This paper introduces the enriched effect calculus, which extends established type theories for computational effects with primitives from linear logic. The new calculus provides a formalism for expressing linear aspects of computational effects; for example, the linear usage of imperative features such as state and/or continuations. The enriched effect calculus is implemented as an extension o...
متن کاملOn the Syntax and Semantics of Effect Axioms
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual acting; the reasoning agent is, thus, typically given an ex post acto narrative of what actions took place. An acting agent, however, has no access to such knowledge; it needs to face what we call the event categoriz...
متن کاملThe HasCasl Prologue: Categorical Syntax and Semantics of the Partial λ-Calculus
We develop the semantic foundations of the specification language HasCasl, which combines algebraic specification and functional programming on the basis of Moggi’s partial λ-calculus. Generalizing Lambek’s classical equivalence between the simply typed λ-calculus and cartesian closed categories, we establish an equivalence between partial cartesian closed categories (pccc’s) and partial λ-theo...
متن کاملIntegrating Syntax and Semantics
Well-known examples such as Bar-Hillel's (1960) "The box is in the pen" illustrate that extensive semantic analysis is necessary to resolve ambiguities that must be resolved in machine translation. If one accepts the premise that semantics should be added to the analysis techniques used in machine translation, what is the way in which it should be added? This paper will argue for an integrated ...
متن کاملEquivariant Syntax and Semantics
syntax is not sufficiently abstract Parse trees take no account of variable binding. ∫ x 0 (∫ y 1 xy dx )
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2012
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exs025